package edu.pku.sei.autounit.reflect;

public interface Constructor extends Modifier,Context{
	Type []getParameters();
	String getSource();
	Class getDeclaringClass();
	boolean hasException();
}
